Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·50m·
Discuss: DEV
🔒WASM Capabilities
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·23h·
Discuss: Hacker News
🌳Archive Merkle Trees
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·2h
✅Format Verification
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·8h
🗄️File Systems
Adding MCP
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔑Cryptographic Protocols
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·6h·
Discuss: Lobsters, Hacker News, r/rust
🦾ARM Assembly
Multigres Architecture Overview
multigres.com·15h·
Discuss: Hacker News
🗄️Database Sharding
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
A messaging processing framework that works with Kafka, Pubsub etc.
handy-messaging-framework.github.io·2d·
Discuss: Hacker News
🌊Apache Kafka
Builder Pattern in CDK
medium.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·19h·
Discuss: Hacker News
🔱Galois Cryptography
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·32m
🦀Rust Macros
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·10h
🎯Performance Proofs
Certificate Transparency - Part 3 - Operations
ipng.ch·2d
🔒Hardware Attestation
A Bitcoin Core Code Analysis
binaryigor.com·23h·
Discuss: Hacker News
🧬Bitstream Evolution
Event Catalog — Exploring The Advanced Capabili
medium.com·1d
🏷️Metadata Standards
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·23h·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·2d
📺VT100 Emulation
Guessing Game: Haskell Style
entropicthoughts.com·16h
👑Dependent Haskell